1. Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings
پدیدآورنده : Ding-Zhu Du...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Combinatorial analysis
رده :
QA
76
.
L28
Vol
.
1858


2. Satisfiability problem :
پدیدآورنده : Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997

